rename 3rdparty

guowenxue

2021-08-08 0d56a56ed2b3dcbc3ebc4e6567167b0ff39299c9

1
2
3
4
5
6
7
 
all:
    sed -i -e "s|^CROSSTOOL=.*|CROSSTOOL=${CROSSTOOL}|g" build.sh
    @bash build.sh
 
distclean: 
    @bash build.sh clean