From bea5d4fafb4324937cc9b5c7f1bb6cf7c02c7359 Mon Sep 17 00:00:00 2001 From: Dirk Thomas Date: Mon, 6 Apr 2020 14:38:11 -0700 Subject: [PATCH] stamp env hook before copying (#1075) --- cmake/catkin_add_env_hooks.cmake | 1 + 1 file changed, 1 insertion(+) diff --git a/cmake/catkin_add_env_hooks.cmake b/cmake/catkin_add_env_hooks.cmake index f08d54abd..ff85da0c8 100644 --- 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.")