diff options
| author | aiju <devnull@localhost> | 2018-03-22 12:46:04 +0000 |
|---|---|---|
| committer | aiju <devnull@localhost> | 2018-03-22 12:46:04 +0000 |
| commit | 2e2ae33a47951ec99ddefd61b8f16ffb47a88fed (patch) | |
| tree | 216168b1391941a061605e502c8cd7f33c01940b /sys/src/libsat/mkfile | |
| parent | 3cb5494b261e9cd8d12f5c203270d0f1387c5d87 (diff) | |
sat: add satget
Diffstat (limited to 'sys/src/libsat/mkfile')
| -rw-r--r-- | sys/src/libsat/mkfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sys/src/libsat/mkfile b/sys/src/libsat/mkfile index 08b1639e4..7df422b32 100644 --- a/sys/src/libsat/mkfile +++ b/sys/src/libsat/mkfile @@ -9,6 +9,7 @@ OFILES=\ satsolve.$O \ satmore.$O \ debug.$O \ + satget.$O \ HFILES=\ /sys/include/sat.h\ |