File scripts/gen-module-list.sh artifact 4eb90dd26d part of check-in 0ccade1059
#!/bin/bash TARGFILE=$1 echo ' (' egrep '^\(define \(' $TARGFILE | tr '()' ' '|awk '{print $2}' egrep '^\(define \*' $TARGFILE | awk '{print $2}' echo ')'
#!/bin/bash TARGFILE=$1 echo ' (' egrep '^\(define \(' $TARGFILE | tr '()' ' '|awk '{print $2}' egrep '^\(define \*' $TARGFILE | awk '{print $2}' echo ')'