Changeset 764568e in freewrt

Timestamp:

Dec 18, 2006, 8:09:43 PM (19 years ago)

Author:

Thorsten Glaser <tg@…>

Children:

1938af8

Parents:

1888787

Message:

while here, we can _easily_ check if someone uses the same
Config.in option twice (coding error - consistency check)
doesn't hurt IMHO

git-svn-id: ​svn://www.freewrt.org/branches/common-adk@1317 afb5a338-a214-0410-bd46-81f09a774fd1

File:

• scripts/split-cfg.sh (modified) (1 diff)

scripts/split-cfg.sh

@@ -44 +44 @@
                 fi
                 [[ $oline = $fline ]] || echo "$oline" >$line
+                if [[ $newfiles = *:$line:* ]]; then
+                        echo "Error: duplicate Config.in option '$line'!" >&2
+                        exit 1
+                fi
                 newfiles="$newfiles$line:"
         fi