fix more indentation

2019-05-27 15:35:48 +02:00 · 2019-05-27 15:35:48 +02:00 · 0b6b7dad8f
commit 0b6b7dad8f
parent aa888c5593
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -37,7 +37,7 @@ find_sysroot() {
            true
        fi
    else
-	# We have to build a sysroot either way.
+        # A normal toolchain.  We have to build a sysroot either way.
        if [ -n "$MIRI_TEST_TARGET" ]; then
            build_sysroot --target "$MIRI_TEST_TARGET"
        else