mirror of
https://github.com/VincentWei/MiniGUI.git
synced 2025-05-11 09:06:30 +08:00
11 lines
206 B
Bash
11 lines
206 B
Bash
#!/bin/sh
|
|
set -e
|
|
if [ -z "$scripts_objtree" ]
|
|
then
|
|
X=`$TOPDIR/scripts/gen-all-syms "$*"`
|
|
$TOPDIR/scripts/docproc $X
|
|
else
|
|
X=`${scripts_objtree}gen-all-syms "$*"`
|
|
TOPDIR=. ${scripts_objtree}docproc $X
|
|
fi
|