From 22b608c57289d3026c5d0704112701c88464d495 Mon Sep 17 00:00:00 2001 From: Hauke D Date: Sun, 3 Mar 2019 20:08:23 +0100 Subject: [PATCH] Added a reminder to source emperl_config.sh --- build/build.pl | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/build/build.pl b/build/build.pl index f254f96..cadafc5 100755 --- a/build/build.pl +++ b/build/build.pl @@ -232,8 +232,11 @@ if (-e $config_sh) { if ($perl_mtime>$our_mtime) { say STDERR "# config.sh is newer than emperl_config.sh" } else { - say STDERR "# config.sh is OLDER than emperl_config.sh, forcing a reconfig"; - $needs_reconfig=1 } + say STDERR "# config.sh is OLDER than emperl_config.sh"; + exit 1 if prompt("Did you remember to run '. emperl_config.sh'? [yN]","n")!~/^\s*y/i; + say STDERR "# ok, forcing a reconfig"; + $needs_reconfig=1; + } } if ($needs_reconfig) {