X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=goaljobs;fp=goaljobs;h=b7f929a0b3ab738906f41ce9bed4e8c0c0929e7c;hb=109d0b711f20e61c0b23de0c8d871b32a8a4b716;hp=defb24894e965957a8dc31b05b519121ae27a7aa;hpb=f921f7b52fe82782fe6ef1bc72e58200fed77d5a;p=goaljobs.git

diff --git a/goaljobs b/goaljobs
index defb248..b7f929a 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"*