Skip to content

Commit

Permalink
Merge pull request #1012 from hacspec/fix-just
Browse files Browse the repository at this point in the history
fix: justfile
  • Loading branch information
maximebuyse authored Oct 17, 2024
2 parents 8c427ed + 9de3aa1 commit e793bee
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .utils/rebuild.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ DUNEJOBS=${DUNEJOBS:-} # required since `set -u`
YELLOW=43
GREEN=42
RED=41
BLACK=40
BLACK=90
status () { echo -e "\033[1m[rebuild script] \033[30m\033[$1m$2\033[0m"; }

cd_rootwise () {
Expand Down
2 changes: 1 addition & 1 deletion justfile
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@
# Build Rust and OCaml parts and install binaries in PATH. To build
# only OCaml parts or only Rust parts, set target to `rust` or
# `ocaml`.
@build target='rust ocaml':
@build target='rust+ocaml':
./.utils/rebuild.sh {{target}}

alias b := build
Expand Down

0 comments on commit e793bee

Please sign in to comment.