Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /config/trunk/chk-global-names.sh
ViewVC logotype

Diff of /config/trunk/chk-global-names.sh

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 9, Sun Jan 18 01:01:29 1998 UTC revision 13, Sun Jan 18 21:36:02 1998 UTC
# Line 10  Line 10 
10  TMP_FILE=/tmp/smlConfig-$$  TMP_FILE=/tmp/smlConfig-$$
11  TMP_FILE_C=$TMP_FILE.c  TMP_FILE_C=$TMP_FILE.c
12    
13    WITNESS="w3E_4Ew3E_4Rrr_56TtT"
14    
15  cat > $TMP_FILE_C <<XXXX  cat > $TMP_FILE_C <<XXXX
16  main () {}  $WITNESS () {}
17  XXXX  XXXX
18    
19  $CC -o $TMP_FILE $TMP_FILE_C  $CC -c -o $TMP_FILE $TMP_FILE_C
20  if [ "$?" != "0" ]; then  if [ "$?" != "0" ]; then
21      rm -f $TMP_FILE $TMP_FILE_C      rm -f $TMP_FILE $TMP_FILE_C
22      exit 1      exit 1
23  fi  fi
24    
25  if `nm $TMP_FILE | grep -q "_main"`  if `nm $TMP_FILE | grep -q "_$WITNESS"`
26    then echo "-DGLOBALS_HAVE_UNDERSCORE"    then echo "-DGLOBALS_HAVE_UNDERSCORE"
27  fi  fi
28    

Legend:
Removed from v.9  
changed lines
  Added in v.13

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0