fixed mymake to recompile language.cpp if language-data.cpp changed

2021-07-10 22:05:30 +02:00 · 2021-07-10 22:05:30 +02:00 · df7d8ee5fc
parent 4799f7c5f7
commit df7d8ee5fc
1 changed files with 3 additions and 0 deletions
--- a/mymake.cpp
+++ b/mymake.cpp
@ -322,6 +322,9 @@ int main(int argc, char **argv) {
      exit(1);
      }
    time_t obj_time = get_file_time(obj);
+    if(src == "language.cpp") {
+      src_time = max(src_time, get_file_time("language-data.cpp"));
+      }
    if(src_time > obj_time) {
      string cmdline = compiler + " " + opts + " " + src + " -o " + obj;
      pair<int, function<int(void)>> task(id, [cmdline]() { return mysystem(cmdline); });