Skip to content
Snippets Groups Projects
Commit 109d0b71 authored by Richard W.M. Jones's avatar Richard W.M. Jones
Browse files

goaljobs: Remove temporary files properly.

parent f921f7b5
No related branches found
No related tags found
No related merge requests found
......@@ -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"*
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment