summaryrefslogtreecommitdiff
path: root/tests/coq/array/Makefile
diff options
context:
space:
mode:
authorSon Ho2023-11-09 18:51:43 +0100
committerSon Ho2023-11-09 18:51:43 +0100
commitcc61ce2217339f24a8cc8951ee15abc5fd90b47b (patch)
treeea2f8024e7bb079beae6e14a9a2f20455a45afd0 /tests/coq/array/Makefile
parenteb216298bcc9190fab85434aaf54a3de3fb4d6a4 (diff)
Update the rule build-bin-dir in the Makefile
Diffstat (limited to 'tests/coq/array/Makefile')
0 files changed, 0 insertions, 0 deletions