2023-04-16 13:15:57 +02:00
|
|
|
examples: profile session
|
2023-04-15 08:06:03 +02:00
|
|
|
|
2023-04-16 13:15:57 +02:00
|
|
|
.PHONY: examples
|
2023-04-15 08:06:03 +02:00
|
|
|
|
|
|
|
|
profile:
|
2023-04-16 09:13:09 +02:00
|
|
|
bash examples/compile.bash examples/profile
|
2023-04-16 13:15:57 +02:00
|
|
|
|
|
|
|
|
session:
|
|
|
|
|
bash examples/compile.bash examples/session
|
