diff options
| author | DannyDaemonic <DannyDaemonic@gmail.com> | 2023-05-02 17:52:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-02 17:52:35 -0700 |
| commit | 55bc5f0900d925c539488901c5538b637d68665c (patch) | |
| tree | 82e0ecc19c7fcf4a997a3868115c48e44d2ed01c /Makefile | |
| parent | 9daff419f6be818595ddbea293a0ea7283af726e (diff) | |
Call sh on build-info.sh (#1294)
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -213,7 +213,7 @@ save-load-state: examples/save-load-state/save-load-state.cpp build-info.h ggml. $(CXX) $(CXXFLAGS) $(filter-out %.h,$^) -o $@ $(LDFLAGS) build-info.h: $(wildcard .git/index) scripts/build-info.sh - @scripts/build-info.sh > $@.tmp + @sh scripts/build-info.sh > $@.tmp @if ! cmp -s $@.tmp $@; then \ mv $@.tmp $@; \ else \ |