You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: progs/pile/Makefile
+3Lines changed: 3 additions & 0 deletions
Original file line number
Diff line number
Diff line change
@@ -1,3 +1,6 @@
1
+
$(error "This directory progs/pile is obsolete. The pile example is now supported using the VSU system (Verified Software Units) in progs/VSUpile and in progs64/VSUpile.")
0 commit comments