Skip to content

Commit

Permalink
build.sh: do regen after installing tools once
Browse files Browse the repository at this point in the history
  • Loading branch information
@rasky
rasky committed Oct 6, 2024
1 parent 1371d09 commit 1a3daa4
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion build.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -37,8 +37,9 @@ JOBS="${JOBS:-1}" # If getconf returned nothing, default to 1
# Clean, build, and install libdragon + tools
sudoMakeWithParams install-mk
makeWithParams clobber
makeWithParams libdragon tools regen
makeWithParams libdragon tools
sudoMakeWithParams install tools-install
makeWithParams regen

# Build examples and tests - libdragon must be already installed at this point,
# so first clobber the build to make sure that everything works against the
Expand Down

0 comments on commit 1a3daa4

Please sign in to comment.