diff options
Diffstat (limited to 'tools/dexpreopt/geninitrc.awk')
-rw-r--r-- | tools/dexpreopt/geninitrc.awk | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/tools/dexpreopt/geninitrc.awk b/tools/dexpreopt/geninitrc.awk deleted file mode 100644 index 4b67e78..0000000 --- a/tools/dexpreopt/geninitrc.awk +++ /dev/null @@ -1,62 +0,0 @@ -# -# Copyright (C) 2009 The Android Open Source Project -# -# Licensed under the Apache License, Version 2.0 (the "License"); -# you may not use this file except in compliance with the License. -# You may obtain a copy of the License at -# -# http://www.apache.org/licenses/LICENSE-2.0 -# -# Unless required by applicable law or agreed to in writing, software -# distributed under the License is distributed on an "AS IS" BASIS, -# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. -# See the License for the specific language governing permissions and -# limitations under the License. -# -BEGIN { - fixed_remount = 0; - console_state = 0; -} - -/^ mount yaffs2 mtd@system \/system ro remount$/ { - fixed_remount = 1; - print " # dexpreopt needs to write to /system"; - print " ### " $0; - next; -} - -console_state == 0 && /^service console \/system\/bin\/sh$/ { - console_state = 1; - print; - next; -} - -console_state == 1 && /^ console$/ { - console_state = 2; - print; - exit; -} - -console_state == 1 { - # The second line of the console entry should always immediately - # follow the first. - exit; -} - -{ print } - -END { - failed = 0; - if (fixed_remount != 1) { - print "ERROR: no match for remount line" > "/dev/stderr"; - failed = 1; - } - if (console_state != 2) { - print "ERROR: no match for console lines" > "/dev/stderr"; - failed = 1; - } - if (failed == 1) { - print ">>>> FAILED <<<<" - exit 1; - } -} |