diff options
Diffstat (limited to 'misc/Makefile')
| -rw-r--r-- | misc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/misc/Makefile b/misc/Makefile index b02ea18255ad..1c7805f98462 100644 --- a/misc/Makefile +++ b/misc/Makefile @@ -159,6 +159,7 @@ SUBDIR += hulgalugha SUBDIR += inplace SUBDIR += instant-server + SUBDIR += instant-tinderbox SUBDIR += instant-workstation SUBDIR += iselect SUBDIR += iso-codes |