diff options
Diffstat (limited to 'emu/port/mkfile')
| -rw-r--r-- | emu/port/mkfile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/emu/port/mkfile b/emu/port/mkfile new file mode 100644 index 00000000..4817e894 --- /dev/null +++ b/emu/port/mkfile @@ -0,0 +1,15 @@ +# If the existence of this mkfile screws something up, rename it. -rsc + +master:DV: + { + echo '# do not edit; automatically generated' + echo + echo ' + X , s/Dev (.*)devtab.*{.*\n L?''(.*)''/DEV \1 \2\n/ + X ,x g/^DEV/ p + ' | sam -d ../*/dev*.c >[2]/dev/null | + awk '/^DEV/ { printf("%s\t%s\n", $3, $2); }' | + sort -u + echo + cat master.local + } >master |