Merge pull request #1223 from friberk/master

spidermonkey actions.py: Indentation fixed
2021-05-29 15:40:45 +03:00
parent 3983ba6828 83d0f19b50
commit 23e11c7033
1 changed files with 5 additions and 5 deletions
@@ -23,11 +23,11 @@ def setup():
   shelltools.cd("build-js")
   shelltools.system("../js/src/configure \
-	                  --prefix=/usr \
+	              --prefix=/usr \
-					  --libdir=/usr/lib \
+		      --libdir=/usr/lib \
-					  --enable-readline \
+		      --enable-readline \
-					  --with-intl-api \
+		      --with-intl-api \
-					  --disable-debug \
+		      --disable-debug \
                      --disable-debug-symbols \
                      --disable-jemalloc \
                      --disable-strip  \