diff options
| author | gumi <git@gumi.ca> | 2018-01-01 14:12:39 -0500 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2018-01-01 14:12:39 -0500 |
| commit | 4ab1ccbb9529cee68856ba618e1235b5a221331c (patch) | |
| tree | 9c97b93973013691e8c57b6c63a610cee0a2d1c2 | |
| parent | c17eb79d89fedab8432bacc1324c457d2be1f324 (diff) | |
| download | serverdata-4ab1ccbb9529cee68856ba618e1235b5a221331c.tar.gz serverdata-4ab1ccbb9529cee68856ba618e1235b5a221331c.tar.bz2 serverdata-4ab1ccbb9529cee68856ba618e1235b5a221331c.tar.xz serverdata-4ab1ccbb9529cee68856ba618e1235b5a221331c.zip | |
update script fixup
| -rw-r--r-- | GNUmakefile | 2 | ||||
| m--------- | tools | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index c3067e15..056f424a 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -37,4 +37,4 @@ world/map/news.txt world/map/news.html: tools/news.py tools/_news_colors.py worl news: world/map/news.txt world/map/news.html updates: - cd tools/client/ ; ./make-updates ; ./make-music.sh ; echo ">> Done!" + cd tools/client/ ; chmod a+rx ./make-updates ; ./make-updates ; ./make-music.sh ; echo ">> Done!" diff --git a/tools b/tools -Subproject 5944025f1424692ec34293cd8b8c7b85cc0b088 +Subproject d5d47a9387da44b36176c09fd49b8699405d220 |