diff options
| -rw-r--r-- | Makefile.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/Makefile.in b/Makefile.in index 2bef4515..b0dd31d2 100644 --- a/Makefile.in +++ b/Makefile.in @@ -147,11 +147,11 @@ paths.mk: clean-bin: @echo " RM 'ct-ng'" @rm -f ct-ng - @echo " RM 'script/crosstool-NG.sh'" + @echo " RM 'scripts/crosstool-NG.sh'" @rm -f scripts/crosstool-NG.sh - @echo " RM 'script/saveSample.sh'" + @echo " RM 'scripts/saveSample.sh'" @rm -f scripts/saveSample.sh - @echo " RM 'script/showTuple.sh'" + @echo " RM 'scripts/showTuple.sh'" @rm -f scripts/showTuple.sh clean-lib: |