diff options
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 91d3f035..5da7c855 100644 --- a/src/Makefile +++ b/src/Makefile @@ -48,7 +48,7 @@ altitude.h: make-altitude nickle $< > $@ ao_kalman.h: make-kalman kalman.5c kalman_filter.5c load_csv.5c matrix.5c - sh $< kalman > $@ + bash $< kalman > $@ clean-local: rm -f altitude.h ao_kalman.h |