New deployment script
This commit is contained in:
parent
01e0f10c38
commit
639c73a4cf
2 changed files with 17 additions and 12 deletions
3
Makefile
3
Makefile
|
|
@ -7,10 +7,9 @@ PROVER=prove -f
|
|||
RM=rm
|
||||
TESTDIR=t
|
||||
SHELL=/bin/sh
|
||||
SU=/bin/su
|
||||
|
||||
launch:
|
||||
$(SU) -s /bin/sh -c "$(SHELL) process/launch.sh" intradmin
|
||||
$(SHELL) ./process/launch.sh
|
||||
|
||||
install:
|
||||
$(SHELL) commands/first-install.sh
|
||||
|
|
|
|||
Reference in a new issue