makefile 执行脚本，运行中传递参数改变配置

最新推荐文章于 2024-12-15 20:16:53 发布

The_King_Cloud

最新推荐文章于 2024-12-15 20:16:53 发布

阅读量3.6k

点赞数

分类专栏： linux 文章标签： shell makefile

本文链接：https://blog.youkuaiyun.com/The_King_Cloud/article/details/12091205

版权

linux 专栏收录该内容

9 篇文章

订阅专栏

本文介绍了一款通过Shell脚本实现的简易工具，该工具能够简化复杂的Make命令配置过程。用户只需输入几个简单参数，如MIKE（Point或Ship）、LED（Tianmai、Fuzhou或Shanghai）及LINE（B1或其他），脚本即可自动完成Make命令的设置并执行相应的编译任务。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

最近在编译同事的程序时，发现make一下还要增加很多选项，于是写了一个脚本用来在执行前简单的填几个参数即可，也算是温故一下 shell编程

#!/bin/sh

read -p "Enter your MIKE:Point Or Ship    " var
mike="${var:0:1}"
if [ $mike = "p" -o $mike = "P" ]
then
	mike='P'
else
	mike='S'
fi
echo "Mike is $mike"

read -p "Enter your LED:Tianmai Or Fuzhou Or Shanghai    " var
led="${var:0:1}"
if [ $led = "t" -o $led = "T" ]
then
	led='TIANMAI'
fi
if [ $led = "f" -o $led = "F" ]
then
	led='FUZHOU'
fi
if [ $led = "s" -o $led = "S" ]
then
	led='SHANGHAI'
fi
echo "led is $led"


read -p "Enter your LINE:B1 Or Other      " var
line="${var:0:1}"
if [ $line = "B" -o $line = "b" ]
then
	line='ZHENGZHOU_B1'
else
	line='OTHER_LINE'
fi
echo "line is $line"

echo -e "\033[32mmake MIKE=$mike LED=$led LINE=$line\033[0m"
make MIKE=$mike LED=$led LINE=$line
exit 0