diff options
Diffstat (limited to 'devel')
-rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 84a2943ae3ef..22817c0c683a 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -6,6 +6,7 @@ SUBDIR += ORBit SUBDIR += SN SUBDIR += SWIG + SUBDIR += SWIG-devel SUBDIR += SpecTcl SUBDIR += a2dev SUBDIR += adabroker |