aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Schanzenbach <schanzen@gnunet.org>2023-01-20 13:42:09 +0900
committerMartin Schanzenbach <schanzen@gnunet.org>2023-01-20 13:42:09 +0900
commit66228b8a4306f028d843d78fbfcca54260539ff9 (patch)
tree4b9626ef1e212bf0bd627b60c86c2af8a6415382
parentb4ca07ad834a3fc022254300fb2c73f7232f679c (diff)
downloadgana-66228b8a4306f028d843d78fbfcca54260539ff9.tar.gz
gana-66228b8a4306f028d843d78fbfcca54260539ff9.zip
Let's not do that after all
-rwxr-xr-xformat.sh1
1 files changed, 0 insertions, 1 deletions
diff --git a/format.sh b/format.sh
index 8727fc6..a8f2265 100755
--- a/format.sh
+++ b/format.sh
@@ -41,7 +41,6 @@ if [ x"$2" = x ] ; then : ; else
41fi 41fi
42 42
43if [ "$selexp" ] ; then 43if [ "$selexp" ] ; then
44 mkdir -p "$TMPDIR" || exit 1
45 t=$(mktemp) 44 t=$(mktemp)
46 trap "rm -f $t" EXIT 45 trap "rm -f $t" EXIT
47 recsel -e "$selexp" > $t && 46 recsel -e "$selexp" > $t &&