/bin/sh: pushd: not found

前端 未结 11 657
借酒劲吻你
借酒劲吻你 2020-12-13 11:31

I am doing the following inside a make file

pushd %dir_name%

and i get the following error

/bin/sh : pushd : not foun         


        
11条回答
  •  暖寄归人
    2020-12-13 12:32

    add

    SHELL := /bin/bash

    at the top of your makefile I have found it on another question How can I use Bash syntax in Makefile targets?

提交回复
热议问题