Commits

Nick Wade committed 5b14840

Fixed Makefile again

  • Participants
  • Parent commits c4012ec

Comments (0)

Files changed (1)

 # con -- rebuild controller
 # clean -- remove all objects and executables
 
-# removed for testing - shared/hashtable.mli shared/hashtable.ml
-UTIL_SOURCES = shared/plane.mli shared/plane.ml \
+UTIL_SOURCES = shared/hashtable.mli shared/hashtable.ml shared/plane.mli shared/plane.ml \
 shared/util.mli shared/util.ml shared/simulations.mli shared/simulations.ml
 
 SHARED_SOURCES = shared/thread_pool.mli shared/thread_pool.ml \