関連ワード:  run makefile in linux    execute makefile in linux    use makefile in linux    run makefile linux command    how to run makefile in linux terminal    how do i run a makefile in linux    how to run makefile in command prompt