We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8e17100 commit 16947b1Copy full SHA for 16947b1
1 file changed
mkdist
@@ -34,11 +34,11 @@ fi
34
35
if [ ! -e getsp.class ]; then
36
echo "Compiling getsp.class"
37
- javac getsp.java
+ javac -target 1.2 -source 1.2 getsp.java
38
fi
39
40
-echo "Removing CVS and backup files ..."
41
-find . -name CVS -or -name \*~ | xargs rm -rf
+echo "Removing CVS/SVN and backup files ..."
+find . -name CVS -or -name .svn -or -name \*~ | xargs rm -rf
42
43
if [ ! -e jri/configure ]; then
44
: ${JRI=$SWD/../../../org/rosuda/JRI}
0 commit comments