Przeglądaj źródła

julia: Automatically update starpu headers translation when outdated.

Pierre Huchant 5 lat temu
rodzic
commit
bee9082426
1 zmienionych plików z 2 dodań i 1 usunięć
  1. 2 1
      julia/src/StarPU.jl

+ 2 - 1
julia/src/StarPU.jl

@@ -26,7 +26,8 @@ const starpu_wrapper_library_name=fstarpu_task_library_name()
 
 include("translate_headers.jl")
 
-if !isfile((@__DIR__)*"/../gen/libstarpu_common.jl") || !isfile((@__DIR__)*"/../gen/libstarpu_api.jl")
+if !isfile((@__DIR__)*"/../gen/libstarpu_common.jl") || !isfile((@__DIR__)*"/../gen/libstarpu_api.jl") ||
+    mtime(@__FILE__) > mtime((@__DIR__)*"/../gen/libstarpu_common.jl")
     starpu_translate_headers()
 end