Skip to content

Commit 7f76277

Browse files
author
Luis Eduardo de Souza Amorim
committed
Minor
1 parent 9c87256 commit 7f76277

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

.github/scripts/ci-ffi.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ pushd $MMTK_JULIA_DIR
66

77
make regen-bindgen-ffi
88

9-
if ! git diff --exit-code mmtk/julia_types.rs; then
9+
if ! git diff --exit-code $MMTK_JULIA_DIR/mmtk/src/julia_types.rs; then
1010
echo "Rust FFI bindings in \`julia_types.rs\` are outdated. Run \`make regen-bindgen-ffi\` from the mmtk-julia directory and make sure to include the updated file in the pull request."
1111
exit 1
1212
fi

0 commit comments

Comments
 (0)