diff options
author | tomsmeding <tom.smeding@gmail.com> | 2019-02-17 11:31:55 +0100 |
---|---|---|
committer | tomsmeding <tom.smeding@gmail.com> | 2019-02-17 11:31:55 +0100 |
commit | 2c5ec9426c0f55cf67a12b589a974ff64de061e4 (patch) | |
tree | 446faa5bb52cba454bc38f8e275dcdf150dd5e57 /main.cpp | |
parent | 9d0f4baa7d82d896b9660dfb2fe484129d5cfd13 (diff) |
More accurate dependency tracking in makefile
Diffstat (limited to 'main.cpp')
-rw-r--r-- | main.cpp | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -5,9 +5,7 @@ #include <unistd.h> #include <sys/time.h> #include "board.h" -#include "ai_mc.h" -#include "ai_mm.h" -#include "ai_rand.h" +#include AI_HEADER #include "ui.h" using namespace std; |