Makefile
author Jan Vrany <jan.vrany@labware.com>
Thu, 25 Mar 2021 20:30:03 +0000
branchjv
changeset 25411 248600ba8fd9
parent 18053 e0683b878c4c
permissions -rw-r--r--
Fix unlikely but possible race in `WeakValueDictionary` It may happen that value in `valueArray` could have been already collected by the GC but #clearDeadSlots have not yet been called. When this happened, `#at:ifAbsentPut:` returned tombstone rather than updating the dictionary with value from block. This commit fixes this by checking whether `valueArray` contain the tombstone and if so, clearing up the dead slots and restarting the operation. HTH.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
9027
sr
parents:
diff changeset
     1
#
15137
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     2
# DO NOT EDIT
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     3
#
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     4
# make uses this file (Makefile) only, if there is no
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     5
# file named "makefile" (lower-case m) in the same directory.
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     6
# My only task is to generate the real makefile and call make again.
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     7
# Thereafter, I am no longer used and needed.
9027
sr
parents:
diff changeset
     8
#
15137
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
     9
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    10
.PHONY: run
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    11
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    12
run: makefile
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    13
	$(MAKE) -f makefile
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    14
e7104b6ad825 automatically generated by browser
Stefan Vogel <sv@exept.de>
parents: 14927
diff changeset
    15
#only needed for the definition of $(TOP)
14927
bd3e16b12e11 removed via FileBrowser
Claus Gittinger <cg@exept.de>
parents: 14823
diff changeset
    16
include Make.proto
9027
sr
parents:
diff changeset
    17
14823
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    18
makefile: mf
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    19
63eb290a5988 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 13432
diff changeset
    20
mf:
13432
4327f19a7eb5 automatically generated by browser
Claus Gittinger <cg@exept.de>
parents: 12441
diff changeset
    21
	$(TOP)/rules/stmkmf