@ -11,7 +11,7 @@ touch .until
PREV_UNTIL=`cat .until`
if [ "$PREV_UNTIL" != $1 ]
then
./clean top-level
./clean
echo $1 > .until
fi