diff options
Diffstat (limited to 'drivers/gator/driver/gator_events.sh')
| -rw-r--r-- | drivers/gator/driver/gator_events.sh | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/drivers/gator/driver/gator_events.sh b/drivers/gator/driver/gator_events.sh deleted file mode 100644 index 5467dd6d17d..00000000000 --- a/drivers/gator/driver/gator_events.sh +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/sh - -EVENTS=`grep gator_events_init *.c | sed 's/.\+gator_events_init(\(.\+\)).\+/\1/'` - -( - echo /\* This file is auto generated \*/ - echo - for EVENT in $EVENTS; do - echo __weak int $EVENT\(void\)\; - done - echo - echo static int \(*gator_events_list[]\)\(void\) = { - for EVENT in $EVENTS; do - echo \ $EVENT, - done - echo }\; -) > $1.tmp - -cmp -s $1 $1.tmp && rm $1.tmp || mv $1.tmp $1 |