diff --git a/pinocchio/distinfo b/pinocchio/distinfo
index 4b00c162f54a4eec2d09ebeab6945cded04f9fbc..d6555193cf67ddeb008d3b3585fe9e74be4f326d 100644
--- a/pinocchio/distinfo
+++ b/pinocchio/distinfo
@@ -2,5 +2,5 @@ SHA1 (pinocchio-1.2.0.tar.gz) = ddb31544076fd2299bd76bc4a5b83e246e67e37f
 RMD160 (pinocchio-1.2.0.tar.gz) = 9c05dd8bb460a0a83d71787bcd9d8a42cc738e7c
 Size (pinocchio-1.2.0.tar.gz) = 8976171 bytes
 SHA1 (patch-aa) = 73b95eabddbc625733582bd49cf2a382a49d82a1
-SHA1 (patch-ab) = 540c02a04e1e1eee502be70bb87ca166ca42c99d
+SHA1 (patch-ab) = 4228d75a5b9320f61ebcd74f0631d9b277af6da2
 SHA1 (patch-ac) = d1018574aa9a61420d47059bc769222aa3cd2ff8
diff --git a/pinocchio/patches/patch-ab b/pinocchio/patches/patch-ab
index 40a40b5a6e4255b5e8f7c3f9c6938d96d049b75f..c2edfeac447f0a5a29ee8451566a486c6246aa98 100644
--- a/pinocchio/patches/patch-ab
+++ b/pinocchio/patches/patch-ab
@@ -48,7 +48,7 @@
      ENDFOREACH()
      FOREACH(FLAG ${${PREFIX}_CFLAGS_OTHER})
 -      SET(CFLAGS "${CFLAGS};$<$<NOT:$<CONFIG:Debug>>:${FLAG}>")
-+      LIST(APPEND CFLAGS "$;$<$<NOT:$<CONFIG:Debug>>:${FLAG}>")
++      LIST(APPEND CFLAGS "$<$<NOT:$<CONFIG:Debug>>:${FLAG}>")
      ENDFOREACH()
    ELSE()
      FOREACH(FLAG ${${PREFIX}_CFLAGS_OTHER})