From 19e464ce97f8b3ac796c87fe0cdac279961aaf40 Mon Sep 17 00:00:00 2001
From: Per Hedbor <ph@opera.com>
Date: Tue, 25 Feb 2014 14:47:15 +0100
Subject: [PATCH] Re-added the needed espaces.

Revert "whitespace: removed extra escape"

This reverts commit a2ecb8f82718ba409a1ae2168fae3a75523a898c.
---
 bin/getwhitespace.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/bin/getwhitespace.sh b/bin/getwhitespace.sh
index 253f186e11..213b16f5ce 100755
--- a/bin/getwhitespace.sh
+++ b/bin/getwhitespace.sh
@@ -4,7 +4,7 @@ echo "/* File generated on `date`
 by getwhitespace <UnicodeData.txt */
 
 #define SPACECASE8							\\
-       case ' ':case '\\t':case '\\r':case '\\n':case '\\v':case '\\f':	\\
+       case ' ':case '\\\\t':case '\\\\r':case '\\\\n':case '\\\\v':case '\\\\f':	\\
        case 0x85:case 0xa0:
 "
 
-- 
GitLab