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를 지정해 두는 것이 좋은 것이 아닐까.

참고



  • 어떤 엔지니어의 비망 로그 : Make의 이식성에 대해 생각하십시오.
  • 이 블로그 없이는 Make의 사용 shell을 알 수 없었다 감사

  • 오라일리

  • /bin/sh와 /bin/bash의 차이점 - 쌍록 공장 일지
  • /bin/bash와/bin/sh는 완전히 별개라고 생각했습니다 ...

  • 좋은 웹페이지 즐겨찾기