diff options
Diffstat (limited to '')
| -rwxr-xr-x | auto/configure | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/auto/configure b/auto/configure index a944573a5..e89785fde 100755 --- a/auto/configure +++ b/auto/configure @@ -1,3 +1,4 @@ +#!/bin/sh . auto/options . auto/init |