1234567891011121314151617181920212223242526272829303132333435363738 |
- systemname=`uname -a`
- #echo $systemname
- OSDEFINFO=$(echo "DEFINES += SYSTEM_UBUNTU1804")
- ubuntu1804="18.04."
- ubuntu1604="16.04."
- resultos=$(echo $systemname | grep "Ubuntu")
- if [ "$resultos" != "" ]
- then
- result=$(echo $systemname | grep "${ubuntu1804}")
- if [ "$result" != "" ]
- then
- # echo "ubuntu 18.04"
- OSDEFINFO=$(echo "DEFINES += SYSTEM_UBUNTU1804")
- fi
- result=$(echo $systemname | grep "${ubuntu1604}")
- if [ "$result" != "" ]
- then
- # echo "ubuntu 16.04"
- OSDEFINFO=$(echo "DEFINES += SYSTEM_UBUNTU1604")
- fi
- fi
- if [ -f "systemdef.pri" ]; then
- # echo "file exist."
- OLDOSDEFINFO=$(sed -n '/DEFINES += SYSTEM/p' systemdef.pri)
- # echo "old:"$OLDOSDEFINFO
- if [ ! "$OSDEFINFO"x = "$OLDOSDEFINFO"x ]; then
- echo "replace DEFINES in systemdef.pri"
- sed -i "s/^.*DEFINES += SYSTEM.*$/DEFINES += SYSTEM_UBUNTU1804/" systemdef.pri
- fi
- else
- echo "systemdef.pri not exist."
- fi
|