Compare commits
No commits in common. "master" and "1.0.0" have entirely different histories.
@ -30,9 +30,8 @@ $ make
|
||||
|
||||
If you want to run it on a server overnight, you might want to use `nohup`, so you can close the ssh connection without closing the process.
|
||||
```
|
||||
$ nohup make &
|
||||
$ nohup make > tagging.log &
|
||||
```
|
||||
See progress in generated logfile (check git root).
|
||||
|
||||
# Makefile
|
||||
The Makefile follows certain steps:
|
||||
|
Loading…
Reference in New Issue
Block a user