|
发表于 2007-3-23 01:24:08
|
显示全部楼层
1. [ ! -d $$i ] means "if $$1 is directory", check bash manual page.
2. $$i is sub-directory in the current directory normally. In your example, $$i might be /usr/src, "make -C $$i install" will do "cd /usr/src; make install", which means make will run target install in /usr/src/Makefile, not in /usr/Makefile.
Hope it was clear. |
|