Add a script to launch screens on each server
This commit is contained in:
parent
580564e358
commit
82789d394f
2 changed files with 56 additions and 0 deletions
4
Makefile
4
Makefile
|
|
@ -5,6 +5,10 @@ MAKEDIR=mkdir
|
|||
PROVER=prove -f
|
||||
RM=rm
|
||||
TESTDIR=t
|
||||
SHELL=/bin/sh
|
||||
|
||||
launch:
|
||||
$(SHELL) process/launch.sh
|
||||
|
||||
install:
|
||||
$(MAKEDIR) -p $(DEST)
|
||||
|
|
|
|||
Reference in a new issue