String literals in asm files: use asm quoting conventions, not OCaml's#588

xavierleroy merged 2 commits into

masterAbsInt/CompCert:masterfrom

asm-string-quotingAbsInt/CompCert:asm-string-quotingCopy head branch name to clipboard