diff --git a/Configure b/Configure index a67a98ef1..22eb550ff 100755 --- a/Configure +++ b/Configure @@ -761,7 +761,7 @@ PROCESS_ARGS: } else { - die "target already defined - $target\n" if ($target ne ""); + die "target already defined - $target (offending arg: $_)\n" if ($target ne ""); $target=$_; }