diff options
Diffstat (limited to 'src/configure')
-rwxr-xr-x | src/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/configure b/src/configure index 6cccd633320..c3307b04858 100755 --- a/src/configure +++ b/src/configure @@ -1351,6 +1351,7 @@ fi fi +set -x for ac_prog in ginstall do |