From b5d1929e878d6d2ccfe6ea349960ee803e9e45c6 Mon Sep 17 00:00:00 2001 From: David Allsopp Date: Sat, 12 Aug 2017 21:24:41 +0100 Subject: Whitespace and overlong line fixes. --- stdlib/Compflags | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'stdlib/Compflags') diff --git a/stdlib/Compflags b/stdlib/Compflags index 515a54741f..3796caa631 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -31,6 +31,7 @@ case $1 in echo ' -w Ae';; stdlib__scanf.cmx|stdlib__scanf.p.cmx) echo ' -inline 9';; *Labels.cm[ox]|*Labels.p.cmx) echo ' -nolabels -no-alias-deps';; - pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives -no-alias-deps -w -49';; + pervasives.cm[iox]|pervasives.p.cmx) + echo ' -nopervasives -no-alias-deps -w -49';; *) echo ' ';; esac -- cgit v1.2.1