| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Download Repo ZIP] [Original HTTPS Page] |
1 parent eafa80a commit 95455ba
2 files changed
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -553,8 +553,8 @@ | |||
| 553 | 553 | </target> | |
| 554 | 554 | ||
| 555 | 555 | <target name="do-run-jar" depends="resolve-jvm-args"> | |
| 556 | - <echo message="Running ${ant.project.name}.jar with command '${run-jvm}'" /> | ||
| 557 | - <java jar="${ant.project.name}.jar" jvm="${run-jvm}" fork="yes" spawn="yes"> | ||
| 556 | + <echo message="Running ${version-tag}.jar with command '${run-jvm}'" /> | ||
| 557 | + <java jar="${version-tag}.jar" jvm="${run-jvm}" fork="yes" spawn="yes"> | ||
| 558 | 558 | <assertions> | |
| 559 | 559 | <enable /> | |
| 560 | 560 | </assertions> | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
@@ -13,9 +13,7 @@ | |||
| 13 | 13 | ||
| 14 | 14 | import static edu.rice.cs.plt.debug.DebugUtil.debug; | |
| 15 | 15 | ||
| 16 | - /** | ||
| 17 | - * The external interface for the interpreter. | ||
| 18 | - */ | ||
| 16 | + /** The external interface for the interpreter. */ | ||
| 19 | 17 | public class Interpreter { | |
| 20 | 18 | ||
| 21 | 19 | private final Options _opt; | |
| Back | FazBrowse Home | New Git URL |
0 commit comments