diff options
Diffstat (limited to 'util/lint/lint-001-no-global-config-in-romstage')
-rwxr-xr-x | util/lint/lint-001-no-global-config-in-romstage | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/util/lint/lint-001-no-global-config-in-romstage b/util/lint/lint-001-no-global-config-in-romstage index 562b1f7fb4..e51e8ddf08 100755 --- a/util/lint/lint-001-no-global-config-in-romstage +++ b/util/lint/lint-001-no-global-config-in-romstage @@ -12,10 +12,6 @@ # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the # GNU General Public License for more details. # -# You should have received a copy of the GNU General Public License -# along with this program; if not, write to the Free Software -# Foundation, Inc. -# # DESCR: Check that no symbol #defined in any romstage.c is used elsewhere DEFINES=`grep "#define" src/mainboard/*/*/romstage.c |sed 's,.*#define[\t ]\([^\t ]*\)[\t ].*,\1,' | grep -v "(" | sort -u` |