diff options
Diffstat (limited to 'BUILD/compile-pentium-gprof')
-rwxr-xr-x | BUILD/compile-pentium-gprof | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/BUILD/compile-pentium-gprof b/BUILD/compile-pentium-gprof index 02b595d1015..aa74de0b1b2 100755 --- a/BUILD/compile-pentium-gprof +++ b/BUILD/compile-pentium-gprof @@ -4,6 +4,6 @@ path=`dirname $0` . "$path/SETUP.sh" extra_flags="$pentium_cflags -O2 -pg -g" -extra_configs="$pentium_configs $debug_configs --disable-shared" +extra_configs="$pentium_configs $debug_configs --disable-shared $static_link" . "$path/FINISH.sh" |