Makefile에 사용할 쉘을 정의하는 것이 좋습니다.
1442 단어 Makefile
GNU Make
의 이야기입니다.Make를 사용한 적이 있다고 가정하기 때문에
GNU Make
란 무엇인가는 쓰지 않습니다.Makefile에 사용할 셸을 정의 할 수 있는지 몰랐습니다.
SHELL=/bin/bash
위와 같이 정의할 수 있습니다. bash를 지정했습니다.
/bin/sh를 사용해야 하는가?
GNU Make
는 기본적으로/bin/sh가 사용됩니다.
By default,/bin/sh is used for the shell
그렇다면/bin/sh에 문제가 있다면 어떻게 될까요?
내 경험이라면/bin/sh를 사용했기 때문에 zsh에서 성공한 source ./conf.txt
가 오류가 발생했습니다.
그러므로, 어디의 환경에서도 대략 이용할 수 있는/bin/bash를 지정해 두는 것이 좋은 것이 아닐까.
참고
SHELL=/bin/bash
GNU Make
는 기본적으로/bin/sh가 사용됩니다.By default,/bin/sh is used for the shell
그렇다면/bin/sh에 문제가 있다면 어떻게 될까요?
내 경험이라면/bin/sh를 사용했기 때문에 zsh에서 성공한
source ./conf.txt
가 오류가 발생했습니다.그러므로, 어디의 환경에서도 대략 이용할 수 있는/bin/bash를 지정해 두는 것이 좋은 것이 아닐까.
참고
어떤 엔지니어의 비망 로그 : Make의 이식성에 대해 생각하십시오.
/bin/sh와 /bin/bash의 차이점 - 쌍록 공장 일지
Reference
이 문제에 관하여(Makefile에 사용할 쉘을 정의하는 것이 좋습니다.), 우리는 이곳에서 더 많은 자료를 발견하고 링크를 클릭하여 보았다 https://qiita.com/nassy20/items/3183cc17f36a3f21e333텍스트를 자유롭게 공유하거나 복사할 수 있습니다.하지만 이 문서의 URL은 참조 URL로 남겨 두십시오.
우수한 개발자 콘텐츠 발견에 전념 (Collection and Share based on the CC Protocol.)