diff --git a/goaljobs b/goaljobs index defb24894e965957a8dc31b05b519121ae27a7aa..b7f929a0b3ab738906f41ce9bed4e8c0c0929e7c 100755 --- a/goaljobs +++ b/goaljobs @@ -140,4 +140,5 @@ echo \ ocamlfind $best "${passthru[@]}" "${pkg[@]}" "$@" $main -o "$output" ocamlfind $best "${passthru[@]}" "${pkg[@]}" "$@" $main -o "$output" -rm -f $main +mainbase="$(echo $main | sed s,\.ml$,,)" +rm -f "$mainbase"*