Merge pull request #31 from tautschnig/some-log

tautschnig · web-flow · commit 4a5b5405f1fa · 2018-04-25T11:26:40.000+01:00
Avoid exit(1) without log data for CBMC and JBMC
diff --git a/cbmc.inc b/cbmc.inc
@@ -43,5 +43,8 @@ esac ; \
 \
 done \
 '
+  if [ ! -s $LOG.ok ] ; then
+    mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok
+  fi
   eval `tail -n 1 $LOG.ok`
 }
diff --git a/jbmc.inc b/jbmc.inc
@@ -38,5 +38,8 @@ esac ; \
 \
 done \
 '
+  if [ ! -s $LOG.ok ] ; then
+    mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok
+  fi
   eval `tail -n 1 $LOG.ok`
 }

Original file line number	Diff line number	Diff line change
`@@ -43,5 +43,8 @@ esac ; \`
`43`	`43`	`\`
`44`	`44`	`done \`
`45`	`45`	`'`
	`46`	`+ if [ ! -s $LOG.ok ] ; then`
	`47`	`+ mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok`
	`48`	`+ fi`
`46`	`49`	eval `tail -n 1 $LOG.ok`
`47`	`50`	`}`
Original file line number	Diff line number	Diff line change
`@@ -38,5 +38,8 @@ esac ; \`
`38`	`38`	`\`
`39`	`39`	`done \`
`40`	`40`	`'`
	`41`	`+ if [ ! -s $LOG.ok ] ; then`
	`42`	`+ mv $LOG.latest $LOG.ok ; echo "EC=42" >> $LOG.ok`
	`43`	`+ fi`
`41`	`44`	eval `tail -n 1 $LOG.ok`
`42`	`45`	`}`