Browse Source

attempt to fix makefile generation

pull/3578/head
Owen Rafferty 4 years ago
parent
commit
794dbdf5b0
No known key found for this signature in database GPG Key ID: A68B10E2554DEBCB
1 changed files with 3 additions and 3 deletions
  1. +3
    -3
      c_check

+ 3
- 3
c_check View File

@@ -349,9 +349,9 @@ printf "CEXTRALIB=%s %s %s\n" "$linker_L" "$linker_l" "$linker_a" >> "$makefile"
printf "HAVE_MSA=1\n" >> "$makefile"
printf "MSA_FLAGS=%s\n" "$msa_flags" >> "$makefile"
}
[ "$no_avx512" -eq 1 ] && printf "NO_AVX512=1\n" >> "$makefile"
[ "$no_avx2" -eq 1 ] && printf "NO_AVX2=1\n" >> "$makefile"
[ "$oldgcc" -eq 1 ] && printf "OLDGCC=1\n" >> "$makefile"
! [ "$no_avx512" -eq 1 ] || printf "NO_AVX512=1\n" >> "$makefile"
! [ "$no_avx2" -eq 1 ] || printf "NO_AVX2=1\n" >> "$makefile"
! [ "$oldgcc" -eq 1 ] || printf "OLDGCC=1\n" >> "$makefile"

os="$(echo "$os" | tr '[:lower:]' '[:upper:]'/ )"
architecture="$(echo "$architecture" | tr '[:lower:]' '[:upper:]' )"


Loading…
Cancel
Save