diff options
Diffstat (limited to 'odk/config/configure.pl')
| -rwxr-xr-x | odk/config/configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/odk/config/configure.pl b/odk/config/configure.pl index dde3a94cf773..f86a4f04995b 100755 --- a/odk/config/configure.pl +++ b/odk/config/configure.pl @@ -34,7 +34,7 @@ $main::OO_MINORVERSION =~ s#[^\d]+(\d).(\d).+#$2#go; $main::OO_SDK_CONFIG_HOME= "$ENV{HOME}/$main::OO_SDK_NAME"; -$main::operatingSystem = `$main::sdkpath/config.guess | cut -d"-" -f3,4`; +$main::operatingSystem = `/bin/sh $main::sdkpath/config.guess | cut -d"-" -f3,4`; chomp ($main::operatingSystem); $main::OO_SDK_HOME = $main::sdkpath; |