Skip to content

Commit

Permalink
match linux header version
Browse files Browse the repository at this point in the history
  • Loading branch information
jprjr committed Feb 14, 2020
1 parent bef290d commit cae8103
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .build
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,7 @@ versions__gmp=6.1.2
versions__mpc=1.1.0
versions__mpfr=4.0.2
versions__isl=0.19
versions__linux=4.4.10
versions__linux=headers-4.19.88

if command -v nproc 1>/dev/null 2>&1 ; then
J=$(nproc)
Expand Down

0 comments on commit cae8103

Please sign in to comment.