diff options
-rw-r--r-- | devel/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/devel/Makefile b/devel/Makefile index bbea052ece67..58981f1b8982 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -1,4 +1,4 @@ -# $Id: Makefile,v 1.170 1999/04/03 02:02:42 steve Exp $ +# $Id: Makefile,v 1.171 1999/04/11 02:52:36 jseger Exp $ # SUBDIR += ElectricFence @@ -32,6 +32,7 @@ SUBDIR += ddd SUBDIR += dmake SUBDIR += doc++ + SUBDIR += elftoaout SUBDIR += f77flow SUBDIR += flick SUBDIR += fpp |