diff --git a/configure b/configure index 5644912..632694a 100755 --- a/configure +++ b/configure @@ -13,9 +13,4 @@ if [ ! -f "$CONFIG" ]; then exit 1 fi -if [ -f 'config.mk' ]; then - echo >&2 "ERROR: file 'config.mk' already exist" - exit 1 -fi - cp "$CONFIG" 'config.mk'