From cd5581b4d9a957214162d1a67a8dfef47bda1003 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Tue, 1 Oct 2019 13:54:28 +0200 Subject: do not bitch if configure.py does not exist when trying to remove --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/configure b/configure index fe59b5bba..7f5bf251b 100755 --- 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. -- cgit v1.2.3