projects
/
ocaml.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
0f07af5
)
Use the freshly compiled ocamlc to check the version
author
Stephane Glondu
<steph@glondu.net>
Sun, 18 Apr 2010 13:14:44 +0000
(15:14 +0200)
committer
Stephane Glondu
<steph@glondu.net>
Sun, 18 Apr 2010 13:27:18 +0000
(15:27 +0200)
debian/rules
patch
|
blob
|
history
diff --git
a/debian/rules
b/debian/rules
index 659f0a2deb8ab297d79f88339b9326e8f457f36a..69d9b21ea97a5b596596ba83789927cd0edfc463 100755
(executable)
--- a/
debian/rules
+++ b/
debian/rules
@@
-236,7
+236,7
@@
endif
--checksum $(OCAML_ABI)
dh_gencontrol
# Check that OCAML_ABI is correct
- if [ "$(OCAML_ABI)" != "$(shell boot/ocamlrun ocamlc -version)" ]; then \
+ if [ "$(OCAML_ABI)" != "$(shell boot/ocamlrun
./
ocamlc -version)" ]; then \
echo "Please adjust OCAML_ABI in debian/rules"; \
exit 2; \
fi