Makefile > $$$$ > プロセスIDが追加される

動作環境

GeForce GTX 1070 (8GB)
ASRock Z170M Pro4S [Intel Z170chipset]
Ubuntu 16.04.4 LTS desktop amd64
TensorFlow v1.7.0
cuDNN v5.1 for Linux
CUDA v8.0
Python 3.5.2
IPython 6.0.0 -- An enhanced Interactive Python.
gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609
GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu)
scipy v0.19.1
geopandas v0.3.0
MATLAB R2017b (Home Edition)
ADDA v.1.3b6
gnustep-gui-runtime v0.24.0-3.1
PyMieScatt v1.7.0

参考

2014年2月17日の自分のメモ (はてなダイアリー)。

この時期に読んでいたのは
- Managing Project with GNU Make, 3rd ed.

情報

(訂正 2018/07/02)

以下のMakefileを作成し、make workとすると work.2579などのようにランダムの4桁の数字が追加される。

以下のMakefileを作成し、make workとすると work.2579などのようにプロセスIDが追加される。

work : hello.c
    echo $@.$$$$

@uasi さんのコメントにて教えていただきました。
情報感謝です。

関連

(追記 2018/07/02)

• Makefile and use of $$ @ stackoverflow