Bug#482920: fix for 482920

[peter green]

tags 482920 +patch
thanks

add the following to debian/rules immediately below the first endif to 
fix this bug

DEB_MAKE_BUILD_TARGET += OCAML_BACKEND=gcc
DEB_MAKE_INSTALL_TARGET += OCAML_BACKEND=gcc
DEB_MAKE_CLEAN_TARGET += OCAML_BACKEND=gcc





--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]