Browse Source

Clean up temp directory

This has been disabled during early debugging phase and apparently I
just forgot to re-enable it.

Morale: don't use `:` to disable stuff; use `#` (ideally at column 0),
which stands out much more.
Alois Mahdal 6 years ago
parent
commit
4690c44f84
1 changed files with 1 additions and 1 deletions
  1. 1
    1
      src/bin/sfembed

+ 1
- 1
src/bin/sfembed View File

105
     pushd "$tmp" >/dev/null
105
     pushd "$tmp" >/dev/null
106
         mkbody; es=$?
106
         mkbody; es=$?
107
     popd >/dev/null
107
     popd >/dev/null
108
-    : rm -r "$tmp"
108
+    rm -r "$tmp"
109
     return $es
109
     return $es
110
 }
110
 }
111
 
111