Ignore whitespace when working with patches.

FreeRTOS/Test/CBMC/patches/patch.py

@@ -16,7 +16,7 @@ def patch():
     failed_patches = []
     for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
         print("patch", tmpfile)
-        result = subprocess.run(["git", "apply", tmpfile],
+        result = subprocess.run(["git", "apply", "--ignore-whitespace", tmpfile],
                                 cwd=os.path.join("..", "..", ".."))
         if result.returncode:
             failed_patches.append(tmpfile)

FreeRTOS/Test/CBMC/patches/unpatch.py

@@ -36,7 +36,7 @@ except FileNotFoundError:
     sys.exit(0)
 for tmpfile in glob(os.path.join(PATCHES_DIR, "*.patch")):
     print("unpatch", tmpfile)
-    result = subprocess.run(["git", "apply", "-R", tmpfile],
+    result = subprocess.run(["git", "apply", "-R", "--ignore-whitespace", tmpfile],
                             cwd=os.path.join("..", "..", ".."))
     if result.returncode:
         print("Unpatching failed: {}".format(tmpfile))