Changeset 2b3dd78 in mainline for tools

Timestamp:

2018-01-31T12:02:00Z (8 years ago)

Author:

Jenda <jenda.jzqk73@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

5595841

Parents:

a0a9cc2 (diff), 14d789c (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'upstream/master' into forwardport

change tmon includes because of new stdlib

Location:

tools

Files:

• ccheck.sh (modified) (2 diffs)
• travis.sh (added)

tools/ccheck.sh

@@ -30 +30 @@
 ccheck=tools/sycek/ccheck
 
+if [ ."$1" == .--fix ] ; then
+        opt=--fix
+else
+        opt=
+fi
+
 srepcnt=0
 snorepcnt=0
@@ -37 +43 @@
 while read fname; do
         outfile="$(mktemp)"
-        $ccheck $fname >"$outfile" 2>&1
+        $ccheck $opt $fname >"$outfile" 2>&1
         rc=$?
         if [ .$rc == .0 ]; then