diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2022-10-13 00:05:05 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2022-10-13 00:05:05 +0200 |
| commit | 9c6917a866bd7736001b88e10f20e0e35ec7e977 (patch) | |
| tree | 60e5b59e6b9c57d334fb7f81cefcf46c7a7dd47e /Tupfile.ini | |
| parent | 7118692e506f9698a77c7cceea3b1dd47bb4b99a (diff) | |
Move from make(1) to tup(1)
Diffstat (limited to 'Tupfile.ini')
| -rw-r--r-- | Tupfile.ini | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/Tupfile.ini b/Tupfile.ini new file mode 100644 index 0000000..8700219 --- /dev/null +++ b/Tupfile.ini @@ -0,0 +1,8 @@ +Run `tup` to compile everything: + + $ tup + [ tup ] [0.002s] Scanning filesystem... + [ tup ] [0.005s] Reading in new environment variables... + [ tup ] [0.007s] Parsing Tupfiles... + ... + $ |