--- sml/trunk/config/chk-global-names.sh 1998/01/18 01:01:29 12 +++ sml/trunk/config/chk-global-names.sh 1998/01/18 21:36:02 13 @@ -10,17 +10,19 @@ TMP_FILE=/tmp/smlConfig-$$ TMP_FILE_C=$TMP_FILE.c +WITNESS="w3E_4Ew3E_4Rrr_56TtT" + cat > $TMP_FILE_C <//
Click to toggle
does not end with </html> tag
does not end with </body> tag
The output has ended thus: ep -q "_main"` +if `nm $TMP_FILE | grep -q "_$WITNESS"` then echo "-DGLOBALS_HAVE_UNDERSCORE" fi