X-Git-Url: https://git.octo.it/?a=blobdiff_plain;f=external%2Fsquirrel%2FCMakeLists.txt;fp=external%2Fsquirrel%2FCMakeLists.txt;h=d2bbecf08543320c44050386b521e393f003087c;hb=ad2c2cb04e5185fb9b45af24ae4843b71eb3266b;hp=8a95f7f3d769f73fcc8eaf09acf73232924f341f;hpb=43302b043f7a8268d4221b961bfc2c603c5b95e9;p=supertux.git

diff --git a/external/squirrel/CMakeLists.txt b/external/squirrel/CMakeLists.txt
index 8a95f7f3d..d2bbecf08 100644
--- a/external/squirrel/CMakeLists.txt
+++ b/external/squirrel/CMakeLists.txt
@@ -21,10 +21,10 @@
 
 ## Apply coverity patch to Squirrel?
 SET(APPLY_COVERITY_PATCH TRUE)
-
+SET(PATCH_COMMAND patch -p1 --forward -i)
 FIND_PROGRAM(PATCH_EXECUTABLE patch)
 IF(PATCH_EXECUTABLE AND APPLY_COVERITY_PATCH)
-  EXECUTE_PROCESS(COMMAND patch -p1 --forward -i squirrel_coverity.patch)
+  EXECUTE_PROCESS(COMMAND ${PATCH_COMMAND} squirrel_coverity.patch)
 ENDIF(PATCH_EXECUTABLE AND APPLY_COVERITY_PATCH)
 
 ## Add include/ to include directories