From 4affc6ebb325be8d09a2bbb83ddfbf586ee339f7 Mon Sep 17 00:00:00 2001
From: Matthew Fluet <matthew.fluet@gmail.com>
Date: Wed, 7 Feb 2018 04:07:56 -0500
Subject: [PATCH] Fix definitions of `gmp{CC,Link}Opts` in `./bin/mlton-script`

Remove nested quotes.
---
 bin/mlton-script | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/mlton-script b/bin/mlton-script
index efff8b68c8..de5846f2f2 100644
--- a/bin/mlton-script
+++ b/bin/mlton-script
@@ -62,12 +62,12 @@ CC="gcc"
 # You may need to set 'GMP_INC_DIR' so the C compiler can find gmp.h.
 GMP_INC_DIR=
 if [ -n "$GMP_INC_DIR" ]; then
-gmpCCOpts="-cc-opt '-I$GMP_INC_DIR'"
+gmpCCOpts="-cc-opt -I$GMP_INC_DIR"
 fi
 # You may need to set 'GMP_LIB_DIR' so the C compiler can find libgmp.
 GMP_LIB_DIR=
 if [ -n "$GMP_LIB_DIR" ]; then
-gmpLinkOpts="-link-opt '-L$GMP_LIB_DIR' -target-link-opt netbsd '-Wl,-R$GMP_LIB_DIR'"
+gmpLinkOpts="-link-opt -L$GMP_LIB_DIR -target-link-opt netbsd -Wl,-R$GMP_LIB_DIR"
 fi
 
 doit "$lib" \