diff --git a/src/dev/Makefile b/src/dev/Makefile index e59e9fa62..fb2831900 100644 --- a/src/dev/Makefile +++ b/src/dev/Makefile @@ -20,7 +20,6 @@ DIRS += omsDev DIRS += pentekDev DIRS += softDev DIRS += symbDev -DIRS += temp DIRS += testDev DIRS += vmiDev DIRS += vxStatsDev