diff options
Diffstat (limited to 'Konzerte/2018_07_28/make')
| -rwxr-xr-x | Konzerte/2018_07_28/make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Konzerte/2018_07_28/make b/Konzerte/2018_07_28/make index bdfe838..d932f61 100755 --- a/Konzerte/2018_07_28/make +++ b/Konzerte/2018_07_28/make @@ -28,7 +28,7 @@ do ' Makefile | \ tr ' ' '\n' | \ grep '\.pre$' | \ - xargs -r make "$@" + xargs -r make SPRACHE=alle "$@" ) done |