diff options
| -rw-r--r-- | gup/Gupfile | 4 | ||||
| -rw-r--r-- | gup/java.gup | 7 |
2 files changed, 1 insertions, 10 deletions
diff --git a/gup/Gupfile b/gup/Gupfile index e078318..5d89a6a 100644 --- a/gup/Gupfile +++ b/gup/Gupfile | |||
| @@ -1,6 +1,4 @@ | |||
| 1 | pdf.gup: | 1 | pdf.gup: |
| 2 | 2 | ||
| 3 | abgabe.gup: | 3 | abgabe.gup: |
| 4 | **/abgabe.zip | 4 | **/abgabe.zip \ No newline at end of file |
| 5 | java.gup: | ||
| 6 | **/*.class \ No newline at end of file | ||
diff --git a/gup/java.gup b/gup/java.gup deleted file mode 100644 index f347cff..0000000 --- a/gup/java.gup +++ /dev/null | |||
| @@ -1,7 +0,0 @@ | |||
| 1 | #!/usr/bin/env zsh | ||
| 2 | |||
| 3 | javaFile=${2%.class}.java | ||
| 4 | |||
| 5 | gup --update $javaFile | ||
| 6 | |||
| 7 | javac $javaFile | ||