diff options
| author | Drew Noel | 2019-03-08 09:15:13 -0500 |
|---|---|---|
| committer | Drew Noel | 2019-03-08 09:15:29 -0500 |
| commit | e31578d1317d51221d27b1b82ed349a67a8894dd (patch) | |
| tree | 55df89e74d18f3bf98faea8ce3d58a4c46cb542c /jpf | |
| download | aur-jpf-core-git.tar.gz | |
Import
Diffstat (limited to 'jpf')
| -rw-r--r-- | jpf | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -0,0 +1,4 @@ +#!/bin/sh +export CLASSPATH="/usr/share/java/jpf/*" + +java gov.nasa.jpf.tool.RunJPF "$@" |