From 01fd4952f905521e4cccb7d0ba942117219e8100 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Tue, 9 Aug 2016 13:20:20 -0600 Subject: [PATCH] tools/sethost.sh: Fix several syntax errors --- tools/sethost.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/tools/sethost.sh b/tools/sethost.sh index b68b991b6f..085361f5b6 100644 --- a/tools/sethost.sh +++ b/tools/sethost.sh @@ -111,10 +111,10 @@ unset dotconfig if [ -z "$configfile" ]; then dotconfig=y else - if [ "X$configfile" = "X.config"]; then + if [ "X$configfile" = "X.config" ]; then dotconfig=y else - if [ "X$configfile" = "X$nuttx/.config"]; then + if [ "X$configfile" = "X$nuttx/.config" ]; then dotconfig=y fi fi @@ -142,18 +142,18 @@ else configdir=`dirname $configfile` makedefs=$configdir/Make.defs - if [ ! -r $makedefs]; then + if [ ! -r $makedefs ]; then echo "ERROR: No readable Make.defs file exists at $configdir" exit 1 fi - if [ -f $nuttx/.config]; then + if [ -f $nuttx/.config ]; then mv $nuttx/.config $nuttx/SAVEconfig fi cp $configfile $nuttx/.config || \ { echo "ERROR: cp to $nuttx/.config failed"; exit 1; } - if [ -f $nuttx/Make.defs]; then + if [ -f $nuttx/Make.defs ]; then mv $nuttx/Make.defs $nuttx/SAVEMake.defs fi cp $makedefs $nuttx/Make.defs || \ @@ -230,4 +230,4 @@ if [ "X$dotconfig" != "Xy" ]; then mv SAVEMake.defs Make.defs || \ { echo "ERROR: Failed to move SAVEMake.defs to Make.defs"; exit 1; } fi -fi \ No newline at end of file +fi