diff options
author | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-07-31 15:06:53 +1000 |
---|---|---|
committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-07-31 15:06:53 +1000 |
commit | b3d71cd63dc6ee60894d8d061b9551b57cb5cd33 (patch) | |
tree | 01984ee12f3d96ed6879eec7e3c7a5e0904aad34 /doc/old | |
parent | af2055de21e619ea6569421c2a252c8bcca8fb62 (diff) |
doc/*: editorconfig fixes
Diffstat (limited to 'doc/old')
-rw-r--r-- | doc/old/cross.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/old/cross.txt b/doc/old/cross.txt index 9dd5b4c9993b..064ca8d37b01 100644 --- a/doc/old/cross.txt +++ b/doc/old/cross.txt @@ -220,7 +220,7 @@ fi preConfigure=preConfigure preConfigure() { - + # Determine the frontends to build. langs="c" if test -n "$langCC"; then @@ -262,7 +262,7 @@ postInstall() { #if test -z "$profiledCompiler"; then #makeFlags="bootstrap" -#else +#else #makeFlags="profiledbootstrap" #fi |