X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=clean.sh;h=92d814476270cdbb69cb324440d2fde8dec89dff;hb=286cb407fcf618572b874ace57c119fe284d14c5;hp=007bf3f8cbfa4c292b5a729e8af21bb7f9fe3d73;hpb=f7cadee920a6b059d17edf8d27ff92c0229a6632;p=sbcl.git diff --git a/clean.sh b/clean.sh index 007bf3f..92d8144 100755 --- a/clean.sh +++ b/clean.sh @@ -22,6 +22,10 @@ rm -rf obj/* output/* doc/user-manual \ # distribution, we automatically clean up after it here in the # standard clean.sh file.) +# Ensure we know GNUMAKE +. ./find-gnumake.sh +find_gnumake + # Ask some other directories to clean themselves up. original_pwd=`pwd` for d in tools-for-build; do @@ -31,7 +35,7 @@ for d in tools-for-build; do # this script is just the operations done by these make's, which # is misleading when this script does lotso other operations too. # -- WHN - make -s clean + $GNUMAKE -I ../src/runtime -s clean cd $original_pwd > /dev/null done