aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xbuild/dist4
1 files changed, 2 insertions, 2 deletions
diff --git a/build/dist b/build/dist
index db9172d..fe22adf 100755
--- a/build/dist
+++ b/build/dist
@@ -429,12 +429,12 @@ fi
gen
gen 'cleanobj:'
-gen "\t-del -f $driver $obj"
+gen "\t-del $driver $obj"
gen
gen 'clean: cleanobj'
if [ "$gen" != "" ]; then
- gen "\t-del -f $gen_cxx $gen_ixx $gen_hxx"
+ gen "\t-del $gen_cxx $gen_ixx $gen_hxx"
fi
gen