From 4cf1d966d09945fe59a08b8e7d4a5f8765283b7b Mon Sep 17 00:00:00 2001 From: q-posev Date: Fri, 19 Mar 2021 09:12:10 +0100 Subject: [PATCH] better fix --- src/build_trex.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/build_trex.sh b/src/build_trex.sh index f212450..8d7b0ca 100755 --- a/src/build_trex.sh +++ b/src/build_trex.sh @@ -17,14 +17,14 @@ mkdir -p templates_hdf5/populated # not options. It is safer. echo "remove existing templates" -rm -- templates_front/*.{c,h} || true -rm -- templates_text/*.{c,h} || true -rm -- templates_hdf5/*.{c,h} || true +rm -f -- templates_front/*.{c,h} +rm -f -- templates_text/*.{c,h} +rm -f -- templates_hdf5/*.{c,h} echo "clean populated directories" -rm -- templates_front/populated/* || true -rm -- templates_text/populated/* || true -rm -- templates_hdf5/populated/* || true +rm -f -- templates_front/populated/* +rm -f -- templates_text/populated/* +rm -f -- templates_hdf5/populated/* echo "tangle org files to generate templates" cd templates_front