diff options
| author | Pawel Moll <pawel.moll@arm.com> | 2011-09-30 11:47:12 +0100 |
|---|---|---|
| committer | Pawel Moll <pawel.moll@arm.com> | 2011-09-30 11:47:12 +0100 |
| commit | 1d5b785dbabac2dfc45103e7c2d787952c93488c (patch) | |
| tree | e03426ecb18855bb05af48a811e619cc26eb2f3b /driver/gator_events.sh | |
| parent | 7c366b2d106bd14742cc3446f874e520d473703d (diff) | |
gator: Move driver sources to a separate directory
... in prepration for daemon sources.
Signed-off-by: Pawel Moll <pawel.moll@arm.com>
Diffstat (limited to 'driver/gator_events.sh')
| -rw-r--r-- | driver/gator_events.sh | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/driver/gator_events.sh b/driver/gator_events.sh new file mode 100644 index 0000000..5467dd6 --- /dev/null +++ b/driver/gator_events.sh @@ -0,0 +1,19 @@ +#!/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 |