writeCBin: fix formatting

This commit is contained in:
Sandro 2022-05-16 01:43:05 +02:00 committed by GitHub
parent 53232aec11
commit 27123795ad
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"
'';