diff options
Diffstat (limited to 'Makefile')
-rwxr-xr-x | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -87,9 +87,9 @@ endif devserver: ifdef PORT - $(BASEDIR)/develop_server.sh restart $(PORT) + $(BASEDIR)/develop_server.sh restart $(PORT) > /dev/null else - $(BASEDIR)/develop_server.sh restart + $(BASEDIR)/develop_server.sh restart > /dev/null endif stopserver: |