stamp env hook before copying (#1075)

ros · Apr 7, 2020 · bea5d4f · bea5d4f
1 parent c51c4cc
commit bea5d4f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/cmake/catkin_add_env_hooks.cmake b/cmake/catkin_add_env_hooks.cmake
@@ -94,6 +94,7 @@ function(catkin_add_env_hooks file_prefix)
         @ONLY)
     elseif (EXISTS ${base})
       # copy plain file
+      stamp("${base}")
       file(COPY ${base} DESTINATION ${CATKIN_DEVEL_PREFIX}/etc/catkin/profile.d)
     else()
       message(FATAL_ERROR "catkin_add_env_hooks() could not find environment hook.  Either '${base}', '${base}.em', '${base}.develspace.em' or '${base}.in' must exist.")