Merge pull request #173206 from SuperSandro2000/writeCBin

writeCBin: fix formatting
This commit is contained in:
Jörg Thalheim 2022-05-16 06:58:47 +01:00 committed by GitHub
commit 03bf2ff19e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -315,10 +315,10 @@ rec {
allowSubstitutes = false;
}
''
n=$out/bin/$name
mkdir -p "$(dirname "$n")"
mv "$codePath" code.c
$CC -x c code.c -o "$n"
n=$out/bin/$name
mkdir -p "$(dirname "$n")"
mv "$codePath" code.c
$CC -x c code.c -o "$n"
'';