Skip to content

Commit 5e79501

Browse files
peterschrammelpeterschrammel
committed
Add compile.sh in jbmc/classpath-jar-load-whole-jar
and remove compilation products so that they are generated via compile_and_run.sh.
1 parent 96c2c3b commit 5e79501

File tree

2 files changed

+1
-0
lines changed

2 files changed

+1
-0
lines changed

‎jbmc/regression/jbmc/classpath-jar-load-whole-jar/compile.sh‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
mvn package

‎jbmc/regression/jbmc/classpath-jar-load-whole-jar/target/jar-file.jar‎

-4.35 KB
Binary file not shown.

0 commit comments

Comments
 (0)