/bin/sh: pushd: not found

前端 未结 11 646
借酒劲吻你
借酒劲吻你 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:29

    Your shell (/bin/sh) is trying to find 'pushd'. But it can't find it because 'pushd','popd' and other commands like that are build in bash.

    Launch you script using Bash (/bin/bash) instead of Sh like you are doing now, and it will work

提交回复
热议问题