summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorbala <balanatarajan@users.noreply.github.com>2001-05-19 15:30:20 +0000
committerbala <balanatarajan@users.noreply.github.com>2001-05-19 15:30:20 +0000
commit6366935da166db9fd775f972d00a920fd110566f (patch)
treed459174eeb8b2cf584c0b2eb651dc28d0b4d008e
parentdb7bdb11f47cc989cbfa3e9ec10c7628de339af5 (diff)
downloadATCD-6366935da166db9fd775f972d00a920fd110566f.tar.gz
ChangeLogTag: Sat May 19 10:28:56 2001 Balachandran Natarajan <bala@cs.wustl.edu>
-rw-r--r--ChangeLog4
-rw-r--r--ChangeLogs/ChangeLog-02a4
-rw-r--r--ChangeLogs/ChangeLog-03a4
-rwxr-xr-xbin/make_pretty.pl4
4 files changed, 16 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog
index 32eedc3a5c4..0e31ae13e98 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+Sat May 19 10:28:56 2001 Balachandran Natarajan <bala@cs.wustl.edu>
+
+ * bin/make_pretty.pl: Ignore the mktemp () messages on Linux.
+
Fri May 18 20:58:59 2001 Ossama Othman <ossama@uci.edu>
* bin/auto_run_tests.lst:
diff --git a/ChangeLogs/ChangeLog-02a b/ChangeLogs/ChangeLog-02a
index 32eedc3a5c4..0e31ae13e98 100644
--- a/ChangeLogs/ChangeLog-02a
+++ b/ChangeLogs/ChangeLog-02a
@@ -1,3 +1,7 @@
+Sat May 19 10:28:56 2001 Balachandran Natarajan <bala@cs.wustl.edu>
+
+ * bin/make_pretty.pl: Ignore the mktemp () messages on Linux.
+
Fri May 18 20:58:59 2001 Ossama Othman <ossama@uci.edu>
* bin/auto_run_tests.lst:
diff --git a/ChangeLogs/ChangeLog-03a b/ChangeLogs/ChangeLog-03a
index 32eedc3a5c4..0e31ae13e98 100644
--- a/ChangeLogs/ChangeLog-03a
+++ b/ChangeLogs/ChangeLog-03a
@@ -1,3 +1,7 @@
+Sat May 19 10:28:56 2001 Balachandran Natarajan <bala@cs.wustl.edu>
+
+ * bin/make_pretty.pl: Ignore the mktemp () messages on Linux.
+
Fri May 18 20:58:59 2001 Ossama Othman <ossama@uci.edu>
* bin/auto_run_tests.lst:
diff --git a/bin/make_pretty.pl b/bin/make_pretty.pl
index f46398693d6..c0ee5ca2e1e 100755
--- a/bin/make_pretty.pl
+++ b/bin/make_pretty.pl
@@ -161,6 +161,10 @@ sub is_error ()
# have the word 'error' in the symbol name - ignore those.
return 0 if (m/^ld: \d+\-\d+ WARNING: Duplicate symbol:/);
+ # Linux has this annoying mktemp, mkstemp stuff. Ignore that
+ # for the timebeing
+ return 0 if (/is dangerous, better use/);
+
# Look for lines that also should be color coded, but not counted
# as errors.
return 2 if (/Types pointed to are unrelated/