commit cd5581b4d9a957214162d1a67a8dfef47bda1003
parent c97daf46fc0689fecde7a51dc42e25b8a8ce513f
Author: Christian Grothoff <christian@grothoff.org>
Date: Tue, 1 Oct 2019 13:54:28 +0200
do not bitch if configure.py does not exist when trying to remove
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
@@ -103,7 +103,7 @@ if ! existence msgmerge; then
fi
# Remove leftover configure.py file
-rm configure.py
+rm -f configure.py
# Now we will just assume sed exists,
# and replace only the executable name.